< x : Natural | y >
